dense open set

稠密开集(合)